#include <bits/stdc++.h>
using namespace std;
mt19937 rnd(time(0));
int main() {
  int n = rnd() % 10 + 5, k = rnd() % n;
  cout << n << " " << k << endl;
  for (int i = 0; i < n - 1; i ++) {
    cout << rnd() % 10 << ' ';
  }
  cout << endl;
}